#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int test1()
{
	char *x = NULL;
	int a = 0;
	if (a) {
		printf("ok\n");
	}
	else {
		x = malloc(100);
		x[101] = 10;
	}
	return 0;
}
int main()
{
	test1();
	return 0;
}

